A. Grzegorczyk, K. Zdanowski; "Undecidability and concatenation"
https://www.impan.pl/~kz/files/AGKZ_Con.pdf
https://scrapbox.io/files/64d75ad496732a001cb3b7e8.pdf
著者
Andrzej Grzegorczyk
Konrad Zdanowski